Équation de diffusion
L'équation de diffusion est une équation aux dérivées partielles. En physique, elle décrit le comportement du déplacement collectif de particules (molécules, atomes, photons. neutrons, etc.) ou de quasi-particules comme les phonons dans un milieu causé par le mouvement aléatoire de chaque particule lorsque les échelles de temps et d'espace macroscopiques sont grandes devant leurs homologues microscopiques. Dans le cas contraire le problème est décrit par l'équation de Boltzmann. En mathématiques, l'une ou l'autre de ces descriptions s'applique à tout sujet relevant du processus de Markov comme dans d'autres champs, telles que les sciences matérielles, la science de l’information, de la vie, sociales, etc. On parle alors plutôt de processus brownien.
Énoncé
[modifier | modifier le code]L'équation de diffusion se formule :
avec :
- la grandeur qui se diffuse, par exemple la concentration particulaire ;
- le coefficient de diffusion collectif associé à .
Si le coefficient de diffusion est une fonction de , alors l'équation de diffusion n'est pas linéaire.
Plus généralement, quand est une matrice définie positive symétrique, l’équation décrit une diffusion anisotrope :
Pour une matrice, l'équation de diffusion devient :
Dans le cas où est constant, l'équation se réduit à l'équation de la chaleur :
Si est constant :
avec :
- l'opérateur laplacien.
Plus généralement lorsqu'il existe plusieurs types de particules dans le milieu et plusieurs sources pour la diffusion le système est décrit par un système linéaire comme dans le cas des équations de Stefan-Maxwell.
Histoire et développement
[modifier | modifier le code]De nombreux phénomènes physiques, dans des domaines scientifiques différents, se décrivent mathématiquement par les équations de diffusion, qui traduisent l'évolution d'un processus de Markov en relation avec la loi normale[1]. En physique, le déplacement de particules diffusées correspond au mouvement brownien satisfaisant la loi parabolique[2]. Leur utilisation peut cependant être étendu à des domaines plus éloignés. Ainsi, les équations de diffusion sont utilisés en science des matériaux, pour la relation d'équilibre local entre défauts dans les cristaux de silicone, ou en biologie, pour l'équilibre prédateur-proie.
L'équation de la chaleur proposée par Fourier en 1822 a été pensée pour décrire l'évolution de la température dans un matériau[3]. En 1827, le mouvement brownien a été mis en évidence, où l'auto-diffusion de l'eau est mise en évidence par le déplacement de grains de pollen[2]. Néanmoins, le mouvement brownien n'est pas reconnu comme un problème de diffusion avant les théories d'Einstein en 1905[4]. Bien qu'il s'agisse d'un problème de diffusion, Fick applique l'équation de la chaleur au phénomène de diffusion dès 1855[5].
Le théorème de flux-divergence montre que l'équation de diffusion est valide quelle que soit l'état du matériau (solide, liquide ou gazeux) comme une loi de conservation, s'il n'y a ni source ni perte dans le système[6]. Il montre aussi que l'équivalence entre la première et la deuxième loi de Fick est mathématiquement incomplète sans un flux de diffusion constant lié à un mouvement brownien localement en espace. Ce flux est indispensable pour la compréhension du mécanisme d'auto-diffusion[7]. Ce mécanisme n'a pas été étudié en lui-même, mais indirectement par la diffusion d'impuretés dans un milieu pur par la théorie du mouvement brownien d'Einstein et l'équation de Langevin[8].
La diffusivité de l'équation dépend généralement de la concentration des particules. Dans ce cas, l'équation de diffusion devient non linéaire et sa résolution est impossible, même dans le cas à une dimension spatiale. En accord avec la loi parabolique, Boltzmann transforme l'équation de diffusion, qui change d'une équation aux dérives partielles non linéaire à une équation différentielle ordinaire non-linéaire en 1894[9]. Depuis, toutefois, la transformation de Boltzmann n'a pas été résolue mathématiquement avant la fin du XXe siècle, même si Matano l'utilise empiriquement pour les problèmes d'interdiffusion dans la métallurgie[10].
Ici, la méthode de résolution analytique de l’équation de diffusion, dont le calcul est plus efficace par rapport aux méthodes analytiques existantes telles que les transformations intégrales de Fourier ou de Laplace ou la séparation des variables, a été établi dans le cas parabolique[11].
Dérivation
[modifier | modifier le code]L'équation de diffusion peut être simplement déduite de l'équation de conservation, qui dit qu'un changement de densité dans toute partie du système est dû aux échanges avec l'extérieur du système. Dans les faits, aucun matériau n'est créé ou détruit :
avec j le flux du matériau diffusant et v la vitesse des particules. L'équation de diffusion apparait quand on la combine avec la première loi de Fick, qui fait l'hypothèse que le flux du matériau diffusant dans toute partie du système est proportionnelle au gradient local de densité :
En général le problème est décrit par l'équation de Boltzmann dont l'équation de diffusion constitue une approximation lorsque les échelles de temps et d'espace macroscopiques sont grandes par rapport à leurs homologues microscopiques. Ceci est vrai pour la diffusion de masse, mais également pour la conduction thermique, le transfert radiatif ou tout autre processus de transfert d'énergie.
Le transfert diffusif peut également être obtenu à partir d'un processus de marche aléatoire comme le mouvement brownien.
Discrétisation
[modifier | modifier le code]L'équation de diffusion est continue en espace et en temps. On peut donc discrétiser en espace, en temps ou les deux, ce qui arrive en application. La discrétisation en temps seule ne fait pas apparaitre de nouveaux phénomènes ; dans la discrétisation en espace seule, la fonction de Green du système devient le noyau gaussien discret. La discrétisation en espace et en temps fait apparaitre une marche aléatoire.
Discrétisation en traitement de l'image
[modifier | modifier le code]La règle du produit est utilisée pour le cas de la diffusion avec un tenseur anisotropique, dans les schémas de discrétisation, afin d'éviter que l'utilisation de formules du premier ordre ne crée des artefacts. Une réécriture couramment utilisée en traitement de l'image est :
avec tr désignant la trace du tenseur du 2e ordre, et l'exposant T pour la transposée, dans laquelle, en traitement de l’image, D(ϕ, r) sont des matrices symétriques construites à partir des vecteurs propres des tenseurs de structure de l'image. Les dérivées spatiales peuvent être approchées par des différences finies du 2e ordre. L'algorithme de diffusion obtenu peut être vu comme une convolution de l’image avec un noyau mobile (ou stencil) de taille 3 × 3 en 2D et 3 × 3 × 3 en 3D.
Notes et références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Diffusion equation » (voir la liste des auteurs).
- (en) A. A. Markov, « The theory of algorithms », American mathematical society translations series, vol. 2, no 15, , p. 1-14
- (en) Robertus Brown, « A brief account of microscopical observations on the particles contained in the pollen of plants ; and on the general existence of active molecules in organic and inorganic bodies », Floræ Novæ Hollandæ,
- Joseph Fourier, Théorie analytique de la chaleur, Didot Paris,
- (de) Albert Einstein, « Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen », Annalen der Physik, vol. 322, no 8, , p. 549–560 (ISSN 0003-3804, DOI 10.1002/andp.19053220806, lire en ligne)
- (de) A. Fick, « Ueber Diffusion », Annalen der Physik, vol. 170 (4. Reihe 94), , p. 59-86
- (de) Carl Friedrich Gauss, « Allgemeine lehsatze in beziehung auf die im verkehrten verhaltnisse des quadrats der entfernung wirkenden anziehung-und abstossungs- krafte », Werke, vol. 1, no 4, (lire en ligne)
- (en) Takahisa Okino, « Mathematical Physics in Diffusion Problems », Journal of Modern Physics, no 6, , p. 2109-2144
- Paul Langevin, « Sur la théorie du mouvement brownien », Comptes-rendus de l'Académie des Sciences, vol. 146, , p. 530-532 (lire en ligne)
- (de) L. Boltzmann, « Zur integration der diffusionscoefficienten », Annalen der Physik, no 53, , p. 959-964
- (en) C. Matano, « On the relation between diffusion-coefficients and concentrations of solid metals », Japanese Journal of Physics, no 8, , p. 109-113
- (en) Takahisa Okino, « New mathematical solution for analyzing interdiffusion problems », Materials Transactions, no 52, , p. 2220-2227
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- (en) Horatio Scott Carslaw et John Conrad Jaeger, Conduction of Heat in Solids, Oxford, Clarendon Press,
- (en) John Crank, The Mathematics of Diffusion, Oxford, Clarendon Press,
- (en) Jon Mathews et Robert L. Walker, Mathematical methods of physics, New York, W. A. Benjamin, , 2e éd., 501 p. (ISBN 0-8053-7002-1)
- (en) R. K. Michael Thambynayagam, The Diffusion Handbook : Applied Solutions for Engineers, McGraw-Hill, , 2048 p. (ISBN 978-0-07-175184-1 et 0-07-175184-X)